Keynote - What To Leave Implicit By Martin Odersky